TSTP Solution File: DAT176^1 by SInE---0.4